failure-div 相关硕士博士期刊学术论文 - 信丰网

failure-div相关论文

补偿通信顺序进程的扩展及失败发散语义

补偿通信顺序进程（cCSP）是通信顺序进程用于长事务建模的扩展，可用来描述服务计算中的编制程序，比如WS-BPEL程序。目前，cCSP只有操作语......

期刊

补偿通信顺序进程指称语义失败发散语义代数规则 compensating CSP denotational semantics failure-div

看过本文同时还关注